8

Type-based data structure verification

Year:
2009
Language:
english
File:
PDF, 549 KB
english, 2009
10

Low-level liquid types

Year:
2010
Language:
english
File:
PDF, 543 KB
english, 2010
11

Liquid types

Year:
2008
Language:
english
File:
PDF, 335 KB
english, 2008
12

Nested refinements

Year:
2012
Language:
english
File:
PDF, 643 KB
english, 2012
13

Deterministic parallelism via liquid effects

Year:
2012
Language:
english
File:
PDF, 697 KB
english, 2012